Propriedades de resistência e rigidez à flexão estática de painéis OSB e compensados

Separação e Validação de Regras de Negócio MDA através de Ontologias e Orientação à Aspectos

Two important challenges for MDA designers are to make business rules independent of the platform specific model and to ensure that the resulting implementation does not violate the properties within these business rules. In this paper we present an approach that allows developers to both describe and verify domain properties at run time. In our approach, an ontology specifies domain properties...

Utilização de técnicas de análise estática e dinâmica para otimização de aplicações de propósito geral em GPUs

We have witnessed large advances in the use of devices designed speci cally for running parallel applications. Examples of this class of hardware are graphics processing cards, as those produced by NVIDIA. The use of GPUs to accelerate general purpose applications gave rise to a new line of parallel applications development, popularly known as GPGPU. Although recent, GPGPU applications achieved...

Ferramentas de Apoio à Criação e Edição de Ontologias: Tainacan Ontology e uma Análise Comparativa

With the need to handle large amounts of data on the web, and treat this data as significant knowledge, the Web of Data has migrated to a new paradigm, the Semantic Web. Ontologies composes the core of the semantic web, and to develop it is necessary to use tools called ontologies editors. This article presents a comparative analysis of these tools, focused on providing functionality based on O...

Verificação Estática de Arquiteturas de Software utilizando Restrições de Dependência

This paper proposes a static software architecture verification approach based on a dependency constraint language that allows software architects to restrict the spectrum of dependencies that can be present in a given software system. The ultimate goal is to allow the definition of acceptable and unacceptable dependencies according to the planned system architecture. Once defined, such restric...

Adaptation du Virus de l'Echtyma Contrgieux à la Culture de Cellules de Singe